Deterministic global optimization